综合模块化航空电子多约束分区调度方法

在综合模块化航空电子系统(integrated modular avionics, IMA)中,采用严格的空间和时间分区管理(partitioning)保证同一个模块上运行的不同应用可以共享处理资源.根据系统硬件资源和应用的要求,定义分区的多类型约束条件,使得分区到在各个模块上的分配和时分访问调度成为复杂的组合优化问题.通过将分区分配的预处理与满足性模理论(satisfiability modulo theories,SMT)求解调度表的方法相互结合,可以减少断言式和分区调度时刻变量的数量,提高求解效率;其中,预处理过程采用最大独立团算法,随后将剩余的分区约束条件转换成SMT工具可识别的逻辑表达式,形式化求解得到各个分区的调度时刻.通过规模不同的算例,验证了该方法可行性,并说明预处理过程对于快速判断满足性要求和缩短求解时间的好处.     

基于Nataf变换含相关性的扩展准蒙特卡洛随机潮流方法

随机潮流分析中,准蒙特卡洛方法在同样规模下不仅计算效率高于基于拉丁超立方的方法,且具有更好的扩展性质。因此提出一种基于Nataf变换的扩展准蒙特卡洛方法(NEQMC)并应用于概率潮流计算中。该方法利用Nataf变换重构输入变量的概率分布,而扩展技术可在随机潮流未收敛时保留已知的潮流计算结果,基于奇异值分解的相关系数控制技术不仅可保持扩展前后样本的相关性,且使得该方法也适用于相关系数矩阵非正定的情况。与基于Nataf变换的简单随机抽样、扩展拉丁超立方方法在IEEE 30和IEEE 118节点系统的比较分析证明了所提方法的高效性和准确性,仿真结果表明:相比于拉丁超立方和简单随机抽样,NEQMC的输出变量准确度更高,特别是标准差的准确度得到大幅改进,获得相同准确度的计算复杂度大大减小。     

重型车湿式桥非线性传动能量流耗分析

重型车湿式桥传动系统能量流动与损耗研究是车辆经济性、安全性及动力性的基础。现有研究主要简单分析单工况下齿轮箱的能量损耗,缺乏复杂工况下基于人车路的传动系统能量流耗精细综合研究。针对典型重型车辆循环作业下的湿式桥传动系统能量流耗进行综合分析,建立不同能量损耗类型的数学模型。考虑车辆循环作业能量流耗影响因素,基于键合图理论分析总成及系统能量流耗情况后,建立整个传动系统的能量流耗模型。此动力学模型与实车试验数据结合不但可以研究一般工况下的人车路湿式桥非线性能量流耗,还可以分析驱动滑转、制动滑移、转弯、轮荷及重心转移等复杂工况,这为今后研究和精确实车复杂工况下的能量流耗情况提供了一套可行的方法。     

鄂尔多斯盆地浅层大位移水平井钻井液体系优选

针对鄂尔多斯盆地浅层水平井钻井过程中的井壁稳定、井眼清洁、润滑减阻和储层保护的技术难题,通过分析储层的地质特征,在该区原用聚合物钻井液基础上,选择性加入MC-VIS、ABSN、纳米乳液和复合屏蔽暂堵剂,形成纳米乳液封堵钻井液体系,在保证施工安全的前提下,可将岩心渗透率恢复提高至83.50%。通过七平1井的应用表明,纳米乳液封堵钻井液体系能够满足低渗透油层大位移水平井的钻井施工需求,为高效开发鄂尔多斯盆地浅层油气藏提供技术支持。     

电力系统线性状态追踪方法

传统状态追踪方法一般基于扩展卡尔曼滤波方法求解,其缺点是:由于电力系统量测方程的非线性,使得这些方法在求解的过程中必须对量测方程进行近似线性化,从而影响了估计精度,尤其是相邻断面的状态变量发生突变时,估计精度明显降低;传统方法在迭代的每一步中均需重新形成雅可比矩阵,因而计算效率较低。以上缺点影响了传统状态追踪方法的应用。提出一种基于精确线性化量测方程的线性状态追踪方法,所提方法的优点为:在估计中无量测方程的近似线性化误差,因而估计精度较高;在迭代中雅可比矩阵均为常数矩阵,从而提高了计算效率。通过在IEEE系统上的仿真算例验证了所提方法的有效性和高效性。     

基于键图法的直流电网系统模型

为适应直流电网智能、高效、经济运行的要求,实现各换流站间的协调控制,基于六端直流电网物理仿真平台,将多端直流输电系统视为一个多输入、多输出、多控制目标的系统整体进行了数学建模。提出了适用于多节点、系统级仿真的换流器简化模型,分别讨论了各端电源、负载模型的简化方法,利用键图方法对六端树状直流电网进行了等效建模,并提取出其状态空间方程。最后根据电力系统的常规运行要求对直流电网的具体控制目标进行了数学提炼,写出控制问题的约束条件和指标函数,为进一步设计、优化协调控制器提供了基础。     

一种多采样率EKF的锂电池SOC估计

为了准确估算出锂离子电池的荷电状态(SOC),采用多采样率的扩展卡尔曼滤波算法(MREKF),建立了二阶RC的电池的等效电路模型,对磷酸铁锂电池进行充放电实验,并根据实验数据进行参数辨识,获得等效电路模型的参数。根据电路模型建立电池的状态方程,分别使用安时法,单采样率的扩展卡尔曼算法和多采样率的扩展卡尔曼算法对电池的SOC进行估计,并用Matlab仿真,对比了三种算法,实验和仿真结果表明MREKF能更精确地估算出SOC。     

大规模风电集中接入对电力系统暂态功角稳定性的影响（一）：理论基础

该文作为2篇系列文章的第1篇,旨在从理论上分析双馈风机组成的大规模风电场集中接入对电力系统暂态功角稳定性的影响。首先,根据双馈风机的暂态特性,提出了一种适用于电力系统暂态功角稳定分析的双馈风机简化模型,并讨论了利用直流潮流计算方法研究风电接入前后系统暂态功角稳定变化趋势的合理性。其次,在双馈风机简化模型和直流潮流计算方法的基础上,利用扩展等面积定则分析了双馈风机接入两机系统后系统暂态功角稳定性的变化,提出一种判断风电接入对两机系统暂态功角稳定影响的判据。最后,在双机互联系统中进行仿真,结果表明,提出的判据具有较高的准确率。     

基于离散滑模观测器的锂电池荷电状态估计

锂电池的荷电状态(state of charge,SOC)估计是电池管理系统的重要组成部分,针对锂电池非线性的特性,提出了采用离散滑模观测器估计锂电池荷电状态的方法,给出了离散滑模观测器的设计方法及其稳定性证明。基于锂电池的戴维南等效电路模型,给出了该方法的设计过程,在不同的充放电电流倍率和环境温度下,进行了锂电池模型的参数辨识,通过与常用的扩展卡尔曼滤波法相比较,分析了离散滑模观测器对锂电池SOC估计的精度、鲁棒性和算法复杂度等方面的性能。实验结果表明,采用该算法可实现锂电池SOC快速精确地估计,误差可控制在约3%,验证了该方法的可行性。     

基于非参数核密度估计的扩展准蒙特卡洛随机潮流方法

扩展蒙特卡洛方法将随机潮流的误差转化为可控量,并可在样本数增加时保留已知的潮流计算结果。基于扩展拉丁超立方抽样的方法效率比简单随机抽样高,但仍存在两方面的问题:第一,扩展拉丁超立方抽样无法保证序列的差异性,这成为计算效率提高的瓶颈;第二,当输出变量偏离正态分布时,扩展拉丁超立方抽样方法缺乏性能良好的收敛判据。针对以上两个问题,采用基于Sobol序列的扩展准蒙特卡洛方法进行随机潮流计算,并提出基于非参数核密度估计方法的收敛判据。对IEEE 30和IEEE 118节点系统的仿真结果表明,所述方法比扩展拉丁超立方抽样方法更加方便、准确,同时效率更高、收敛更快;而基于非参数核密度估计的收敛判据直观、适应性强,对变量的概率分布没有附加条件,可准确指导扩展随机潮流的收敛。